formali相关论文
对深圳下沙村“拥挤但不拥堵”的“非正规”城市现象的深入思考,对城市本质上“以车为本”的理念解决城市交通拥堵问题的思路进行反......
软件体系结构风格是软件设计人员在长期开发某种类型软件经验的基础上总结出来的适合于构建某一类软件的模型,也称为构建模式。形式......
Web测试是保证高质量Web应用的一种有效技术。然而,由于其特殊性和复杂性,很难直接将传统的测试理论与方法学运用到Web应用的测试当......
作战管理语言是一种旨在实现指控与仿真系统间无歧义通信的关键技术,有助于解决指控与仿真系统之间的互操作问题。首先阐述了作战......
战略犯规是指出于比赛战术上的原因,场上运动员采取故意犯规的行为。从形式主义哲学思辨的视角,辩证比赛战略犯规的道德合理性,研......
采用SOLO分类评价标准,通过问卷测试从对数的定义、对数的运算性质两个维度考察高中生“对数”概念的理解水平.发现其在“对数定义”......
应用数学描述方法 ,从理性的角度描述了机械产品概念设计过程模型 (功能—行为—结构—环境约束 )的各要素及其相互关系 提出了在......
We analyze nonequilibrium electronic transport properties of a typical interacting three-site quantum wire model within ......